PMAN4
SEL@KIT
Author: Armin Biere
  • Research duration: 2015 - 2016
  • Total publications: 2
Publication counts by year
  • Preprints
  • Book
  • Translation
  • Academic Journal
  • International Conference
  • International Conference (Journal First)
  • Domestic Conference
  • Article
  • Technical report
  • Workshop
  • Thesis
  • Talk
  • Award
  • Patent
Publication counts by category
Research keywords
designautomotiveenginecontrolsoftwarecombinatorialformalspecificationdataformatsuser-friendlyinterfacescasecoresgenerationgreedytestunsatisfiableincrementaloptimizationsatsolvingtesting
Publications
2016
International Conference

[1] Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, and Eun-Hye Choi, "Greedy Combinatorial Test Case Generation using Unsatisfiable Cores", Proc. of 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), September 2016.

2015
International Conference

[1] Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, and Armin Biere, "Optimization of Combinatorial Testing by Incremental SAT Solving", Proc. of the IEEE International Conference on Software Testing, Verification, and Validation (ICST2015), April 2015.

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

The publications displayed in this list is related to SEL@KIT members only.